Use of Modelica language to simulate electrified railway lines and trains

Simulation of multi-engineering systems typically requires many issues to be solved, which are to be addressed by developing appropriate modeling and simulation programming techniques. In the last years, the authors have participated in several studies in which they analyzed in detail electrified railway systems and simulated them using Modelica language. After a few years of study, despite the huge complexity of these systems, it has appeared evident that Modelica language is very well suited and able to effectively solve the typical issues they present. While specific railway system simulations have already been discussed in specific papers, whose focus was on application and actual results, in this paper, the authors show how to use Modelica language to solve specific modeling issues through suitable programming techniques. Moreover, the issues to be solved and the conceived techniques may be interpreted in a general way and to be applied also in different engineering domains. Finally, this paper briefly recalls the principal results obtained in previous specific papers, in which these techniques were fully implemented.     

KSUTraffic: A Microscopic Traffic Simulator for Traffic Planning in Smart Cities

Simulation is a powerful tool for improving, evaluating and analyzing the performance of new and existing systems. Traffic simulators provide tools for studying transportation systems in smart cities as they describe the evolution of traffic to the highest level of detail. There are many types of traffic simulators that allow simulating traffic in modern cities. The most popular traffic simulation approach is the microscopic traffic simulation because of its ability to model traffic in a realistic manner. In many cities of Saudi Arabia, traffic management represents a major challenge as a result of expansion in traffic demands and increasing number of incidents. Unfortunately, employing simulation to provide effective traffic management for local scenarios in Saudi Arabia is limited to a number of commercial products in both public and private sectors. Commercial simulators are usually expensive, closed source and inflexible as they allow limited functionalities. In this project, we developed a local traffic simulator “KSUtraffic” for traffic modeling, planning and analysis with respect to different traffic control strategies and considerations. We modeled information specified by GIS and real traffic data. Furthermore, we designed experiments that manipulate simulation parameters and the underlying area. KSUTraffic visualizes traffic and provides statistical results on the simulated traffic which would help to improve traffic management and efficiency.     

新型地锚张弦梁式泥石流格栅坝构件受力的简化计算方法

针对常见泥石流防治结构被冲击破坏的问题，基于“柔性消能”理念，结合张弦梁结构和竖向预应力锚杆技术，提出一种既能改善结构受力性能、增加结构整体抗冲击能力、保证结构安全可靠，又能减小结构构件截面尺寸、节约成本、便于现场施工组装和后期运营维护的新型地锚张弦梁式泥石流格栅坝，并阐述其技术原理。根据泥石流荷载分布和新型地锚张弦梁式泥石流格栅坝的受力特征，给出其简化的内力计算方法；并利用SAP2000建立新结构有限元模型，分析了结构的整体受力，验证了构件简化计算方法的合理性；结合Python语言和Qt De? signer软件开发了相应的设计计算软件，对新型地锚张弦梁式泥石流格栅坝的内力进行求解。结果表明：提出的新结构抗冲击性能好，构件受力均匀；以后设计中应关注竖杆的剪切脆性破坏和立柱偏心受力情况，保证结构安全；变形协调仅使底层张弦梁与竖杆内力偏大，实际工程应用时，应着重验算底层构件，防止其破坏；文中提出的简化计算方法能较准确的反映结构的受力特性，具有一定的合理性，研究可为新型地锚张弦梁式泥石流格栅坝的设计计算和推广应用提供理论依据和技术支持。     

犹豫模糊环境下准则具有偏好关系的TODIM方法

针对智慧制造评估时专家的决策信息具有犹豫模糊不确定性问题，提出了一种关于准则具有犹豫模糊偏好关系的改进交互式多准则决策（TODIM）方法。首先提出了准则间的犹豫模糊偏好关系概念，并证明了其基本性质。在TODIM方法优势度的计算过程中，将准则权重犹豫模糊偏好关系替代原有的精确值权重，使信息的准确性最大化。将该方法用于智能制造的评估上，实例分析结果表明所提方法是可行和有效的。     

Human–Cyber–Physical Systems (HCPSs) in the Context of New-Generation Intelligent Manufacturing

An intelligent manufacturing system is a composite intelligent system comprising humans, cyber systems, and physical systems with the aim of achieving specific manufacturing goals at an optimized level. This kind of intelligent system is called a human–cyber–physical system (HCPS). In terms of technology, HCPSs can both reveal technological principles and form the technological architecture for intelligent manufacturing. It can be concluded that the essence of intelligent manufacturing is to design, construct, and apply HCPSs in various cases and at different levels. With advances in information technology, intelligent manufacturing has passed through the stages of digital manufacturing and digital-networked manufacturing, and is evolving toward new-generation intelligent manufacturing (NGIM). NGIM is characterized by the in-depth integration of new-generation artificial intelligence (AI) technology (i.e., enabling technology) with advanced manufacturing technology (i.e., root technology); it is the core driving force of the new industrial revolution. In this study, the evolutionary footprint of intelligent manufacturing is reviewed from the perspective of HCPSs, and the implications, characteristics, technical frame, and key technologies of HCPSs for NGIM are then discussed in depth. Finally, an outlook of the major challenges of HCPSs for NGIM is proposed.     

互联网+产学研合作智能服务平台的生态服务模式

在“互联网+”大环境下，以用户价值为导向、加速供需双方实现技术转移、各取所需为核心的，以产业链整合、加强横向用户关系圈扩展、助力进一步解决产学研信息不对称的，以扩大产学研合作范围、提升产学研合作成效为目标的产学研合作生态服务模式应运而生.基于产学研合作生态服务模式，构建生态服务模型，应用于实践，建设“互联网+产学研合作智能服务平台”，提供多样化的产学研内容、社交和对接生态服务，并取得了显著的成效.     

APP软件性能效率研究

性能效率是APP软件的重要质量属性，但目前缺乏APP软件性能效率的通用模型。分析了APP软件的性能特征，基于ISO/IEC 25010标准提出了APP软件的性能效率模型，定义了APP软件性能效率的子特性和度量指标。基于提出的APP软件性能效率模型，通过实验对APP软件的性能效率进行了度量及相关分析。     

面向智能客服的句子相似度计算方法

针对金融领域中智能客服的句子相似度计算方法进行了研究。利用基于词性的分词纠正模型减少中文歧义词、金融相关词汇的分词错误；通过词向量方法和循环神经网络分别提取词语级和句子级的语义特征，并且得到句子向量；用融合层计算出句子向量间的差异特征；对差异特征进行降维和归一化得到句子相似度计算结果。实验结果表明，该方法具有较高的准确率和[F1]值。     

DR环形吹风冷却装置及智能控制系统设计研究

介绍了河北达瑞化纤机械有限公司开发的DR环形吹风冷却装置,该装置能实现自动、精准、快速更换整流筒,打破了原有环吹风装置整流筒从风室顶部安装这一传统模式,利用风室底部安装和风室密封结构改变,采用气缸动力下的自动调节技术,实现了快速更换整流筒。该装置在维修和更换整流筒组件时,无须搬动上压盖,无须拆装若干螺栓,能自动化操作,降低了操作工人劳动强度,缩短了操作时间。开发的DCS智能控制系统,实现了实时智能监测冷却吹风装置的运行状况。     

[制造前沿]创新·强基·智能——建设制造强国

世界工业发达国家美、德、英等国“重振制造业”的发展战略均将智能制造作为发展趋势。我国制造业总体而言，大而不强。我国已是世界制造第一大国，但创新能力弱、缺乏关键核心及共性技术。我国《制造强国发展战略》聚焦“五大工程”，其中将智能制造作为主攻方向，而“五大工程”是相互联系和相互支持的。数字化设计与制造是智能制造关键共性技术，而建模与仿真是数字化设计与制造的科学基础。要全面实施智能制造，建成制造强国，任重而道远。